OntoDLV: An ASP-based System for Enterprise Ontologies

Enterprise/Corporate ontologies are specifications of information of business enterprises. Semantic peculiarities of ASP, like the Closed World Assumption (CWA) and the Unique Name Assumption (UNA), are more appropriate than OWL assumptions for enterprise ontologies, also because these ontologies often are the evolution of relational databases, where both CWA and UNA are adopted. In this paper we present OntoDLV, a system based on Answer Set Programming (ASP) for the specification and reasoning on enterprise ontologies. OntoDLV implements a powerful ontology representation language, called OntoDLP, extending (disjunctive) ASP with all the main ontology constructs including classes, inheritance, relations and axioms. OntoDLP is strongly typed, and includes also complex type constructors, like lists and sets. Importantly, OntoDLV supports a powerful interoperability mechanism with OWL, allowing the user to retrieve information also from OWL Ontologies and to exploit this information in OntoDLP ontologies and queries. The system is already used in a number of realworld applications including agent-based systems, information extraction, and text classification applications.